Skip to content

[skip changelog] Update latest tag at mike deploy #734

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 1, 2020

Conversation

masci
Copy link
Contributor

@masci masci commented Jun 1, 2020

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • The PR follows our contributing guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce?

Pass an extra option, -u when invoking mike deploy.

  • What is the current behavior?

We use an alias called latest to point to the most recent of the docs. Problem is when we do mike deploy, it produces an error as latest is already taken.

  • What is the new behavior?

By passing mike deploy -u we can "move" the alias as we produce newer versions.

  • Does this PR introduce a breaking change?

No changes to the CLI

  • Other information:

Tested locally


See how to contribute

@masci masci added the topic: documentation Related to documentation for the project label Jun 1, 2020
@masci masci changed the title Update latest tag at mike deploy [skip changelog] Update latest tag at mike deploy Jun 1, 2020
@rsora rsora merged commit e1eec95 into master Jun 1, 2020
@rsora rsora deleted the massi/update-latest branch June 1, 2020 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants